This book criticizes the common belief that we are entitled to exploit animals for our benefit because they are not as rational as people. After discussing the moral (in)significance of reason in general, the author proceeds to develop a clear, commonsensical conception of what "animal rights" is about and why everyday morality points toward the liberation of animals as the next logical step in Western moral progress. The book evaluates criticisms of animal rights that have appeared in recent philosophical literature (...) and explains the consequences of animal liberation for our diet, science, and treatment of the environment. The issue of animal rights has become of increasing philosophical and popular importance over the past decade. Morals. Reason, and Animals is the first extensive, second-generation contribution to this debate. Focusing exclusively on the fundamental philosophical issues, Sapontzis both undermines the arguments that have been raised against animal rights and constructs a rebuttal that avoids the pitfalls encountered by earlier defenses. (shrink)

An affirmative answer is given to the question quoted in the title.

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...) case 2.In the present work, we generalize the entire arrangement from propositional to first-order logic, using a representation result of Butz and Moerdijk. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming into a common dualizing object, now Sets, regarded once as a boolean category, and once as a groupoid equipped with an intrinsic topology.The overall framework of our investigation is provided by topos theory. Direct proofs of the main results are given, but the specialist will recognize toposophical ideas in the background. Indeed, the duality between syntax and semantics is really a manifestation of that between algebra and geometry in the two directions of the geometric morphisms that lurk behind our formal theory. Along the way, we give an elementary proof of Butz and Moerdijkʼs result in logical terms. (shrink)

Although The Structure of Scientific Revolutions is one of the most influential books of this century, its author, Thomas Kuhn, is notorious for disavowing most of the consequences wrought by his text. Insofar as these consequences have appeared "radical" or "antipositivist," this article argues that they are very misleading, and that Kuhn's complaints are therefore well placed. Indeed, Kuhn unwittingly succeeded where Daniel Bell's The End of Ideology tried and failed, namely, to alleviate the anxieties of alienated academics and defensive (...) policy-makers by teaching them that they could all profit from solving their own paradigmatic puzzles. The influence of tructure is traced from the philosophy of science into the social sciences and science policy. Special attention is paid to the import of the General Education in Science curriculum at Harvard, in which Kuhn taught for most of the period prior to writing tructure. Harvard President James Conant had designed this curriculum in order to keep "pure science" in the good favor of the American public, in whose eyes it suffered after the use of the atomic bomb. While Conant was keen to stress the distinctiveness of science from other social practices, Kuhn's model seemed to provide a blueprint for reconstituting any practice as a science. This enabled potentially antiscientific academics to become scientists themselves, thereby neutralizing any radical challenges to the ends of scientific inquiry. The article concludes by reconstructing some of the inchoate possibilities for radical critique that Kuhn's success preempted, and by making some suggestions for how they may be recovered in the present academic environment. (shrink)

A Brief History of Analytic Philosophy: From Russell to Rawls presents a comprehensive overview of the historical development of all major aspects of analytic philosophy, the dominant Anglo-American philosophical tradition in the twentieth century. Features coverage of all the major subject areas and figures in analytic philosophy - including Wittgenstein, Bertrand Russell, G.E. Moore, Gottlob Frege, Carnap, Quine, Davidson, Kripke, Putnam, and many others Contains explanatory background material to help make clear technical philosophical concepts Includes listings of suggested further readings (...) Written in a clear, direct style that presupposes little previous knowledge of philosophy. (shrink)

An exploration of the production, transmission, and mutation of affective tonality—when sound helps produce a bad vibe.

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Per Martin-Löf into homotopy theory and higher-dimensional category theory.

Developing directly from Fuller's recent book Humanity 2.0, this is the first book to seriously consider what a 'post-' or 'trans'-' human state of being might mean for who we think we are, how we live, what we believe and what we aim to be.

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

This article is an introduction to a philosophical approach termed “panspiritism.” The fundamental principles of this approach are summarized, with discussion of how it links to earlier (mainly Eastern) philosophical perspectives, how it differs from panpsychism and its relationship to idealism and theism. Issues such as the relationship between mind and matter, the relationship between the mind and the brain, and the emergence of mind are discussed from a “panspiritist” perspective. There is a discussion of how panspiritism relates to mystical (...) experiences. The article concludes by suggesting that this approach can help to elucidate a wide range of phenomena that appear anomalous or problematic from a materialist point of view. (shrink)

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...) ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright. (shrink)

Counterfactual reasoning is broadly implicated in causal claims made by historians. However, this point is more generally recognized and accepted by economic historians than historians of science. A good site for examining alternative appeals to counterfactuals is to consider "what if" the Scientific Revolution had not occurred in seventeenth-century Europe. Two alternative interpretations are analyzed: that the revolution would eventually have happened somewhere else or that the revolution would not have happened at all. Broadly speaking, these two interpretations correspond to (...) the respective attitudes of philosophers and historians to the development of science. However, a case is presented for synthesizing the two interpretations into a normative historiography of science that would allow past and present concerns to interrogate each other. This exercise in counterfactual reasoning can be imagined in the spirit of a time traveler who aims to persuade, rather than simply understand, the natives he or she encounters. (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the author focuses (...) on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

This article is the preface to the Russian translation of my Kuhn vs Popper. I use it as an opportunity to re-examine the difference between Kuhn and Popper on the nature of ‘revolutions’ in science. Kuhn is rightly seen as a ‘reluctant revolutionary’ and Popper a ‘permanent revolutionary’. In this respect, Kuhn sticks to the original medieval meaning of ‘revolution’ as restoration of a natural order, whereas Popper adopts the more modern meaning of ‘revolution’ that comes into fashion after the (...) French Revolution, which suggests a radical renewal. A key to understanding this difference in revolutionary mentalities lies in Kuhn’s and Popper’s respective treatment of the ‘Gestalt switch’ phenomenon. Kuhn sees the ambiguous Gestalt figure from the standpoint of the subject, and Popper from that of the experimenter. Behind this difference lies alternative interpretations of the significance of quantum mechanics for scientific epistemology, a preoccupation that Kuhn and Popper shared with the original Gestalt psychologists and is beginning engage the interest of social scientists. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Are there circumstances under which scientists and engineers doing their ordinary jobs can be thought of as participants in a social movement? The technoscientists analyzed in this article are at the forefront of a new way of doing chemistry; they are attempting to redesign chemical products and synthesis pathways to significantly reduce health effects and environmental damage from industrial chemicals. Green chemistry practitioners and entrepreneurs now constitute a small minority of chemists and chemical engineers in the university, government, and corporate (...) sectors, but the innovators gradually are institutionalizing their efforts and winning converts. Drawing on concepts from social movement theory, the authors argue that examining green chemistry as a social movement sheds light on the intentional social organization of emerging scientific and engineering disciplines, advances thinking about the role of expertise in social change, and uncovers a possible pathway toward reconstructing chemical technologies on a more environmentally sustainable basis. The article closes with questions about potential coalitions among green chemists and engineers, regulators, and activist sectors of civil society. (shrink)

Attempts to understand visual attention have produced models based on location, in which attention selects particular regions of space, and models based on other visual attributes . Previous studies of inattentional blindness have contributed to our understanding of attention by suggesting that the detection of an unexpected object depends on the distance of that object from the spatial focus of attention. When the distance of a briefly flashed object from both fixation and the focus of attention is systematically varied, detection (...) appears to have a location-based component. However, the likelihood that people will detect an unexpected event in sustained and dynamic displays may depend on more than just spatial location. We investigated the influence of spatial location on inattentional blindness under precisely controlled, sustained and dynamic conditions. We found that although location-based models cannot fully account for the detection of unexpected objects, spatial location does play a role even when displays are visible for an extended period. (shrink)

Over the past decades commercial and academic market researchers have studied consumers through a range of different methods including surveys, focus groups, or interviews. More recently, some have turned to the growing field of neuroscience to understand consumers. Neuromarketing employs brain imaging, scanning, or other brain measurement technologies to capture consumers’ responses to marketing stimuli and to circumvent the “problem” of relying on consumers’ self-reports. This paper presents findings of an ethnographic study of neuromarketing research practices in one neuromarketing consultancy. (...) Our access to the minutiae of commercial neuromarketing research provides important insights into how neuromarketers silence the neuromarketing test subject in their experiments and presentations and how they introduce the brain as an unimpeachable witness. This enables us conceptually to reconsider the role of witnesses in the achievement of scientific credibility, as prominently discussed in science and technology studies. Specifically, we probe the role witnesses and silences play in establishing and maintaining credibility in and for “commercial research laboratories.” We propose three themes that have wider relevance for STS researchers and require further attention when studying newly emerging research fields and practices that straddle science and its commercial application. (shrink)

Radical environmental groups engaged in ecotage—or economic sabotage of inanimate objects thought to be complicit in environmental destruction—have been identified as the leading domestic terrorist threat in the post-9/11 “war on terror.” This article examines the case for extending the conventional definition of terrorism to include attacks not only against noncombatants, but also against inanimate objects, and surveys proposed moral limits suggested by proponents of ecotage. Rejecting the mistaken association between genuine acts of terrorism and ecotage, it considers the proper (...) moral constraints upon ecotage through an examination of just war theory and nonviolent civil disobedience. (shrink)

This book explores whether and how religious and secular worldviews and political ideologies held by scientists, citizens, decision-makers and politicians influence science as practiced and understood today. In this book, customized science is defined as a science built according to - or altered and fitted to - a particular group's specifications, that is, its needs, interests or values, its political ideology or worldview. It is science governed not merely by goals such as increased knowledge and explanatory power, but also by (...) goals such as economic growth, sustainable development, the equality of women or the end of religion. The contributions to this book discuss, with regard to particular worldviews and themes connected to the public role of science, whether science is increasingly becoming customized to fit the needs and interests of various groups in society, but also what the consequences of such a development may be both for science and society. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

Many research-intensive universities have moved into the business of promoting technology development that promises revenue, impact, and legitimacy. While the scholarship on academic capitalism has documented the general dynamics of this institutional shift, we know less about the ground-level challenges of research priority and scientific problem choice. This paper unites the practice tradition in science and technology studies with an organizational analysis of decision-making to compare how two university artificial intelligence labs manage ambiguities at the edge of scientific knowledge. One (...) lab focuses on garnering funding through commercialization schemes, while the other is oriented to federal science agencies. The ethnographic comparison identifies the mechanisms through which an industry-oriented lab can be highly adventurous yet produce a research program that is thin and erratic due to a priority placed on commercialization. However, the comparison does not yield an implicit nostalgia for federalized science; it reveals the mechanisms through which agency-oriented labs can pursue a thick and consistent research portfolio but in a strikingly myopic fashion. (shrink)

The development and publication of Diagnostic and Statistical Manual of Mental Disorders, fifth edition produced a peak in mainstream media interest in psychiatry, and a large and generally critical set of scientific commentaries. The coverage has focused mainly on the expansion of some categories, and loosening of some criteria, which together may lead to more people receiving diagnoses, and accompanying accusations of the medicalisation of normal living. Instructions given to members of DSM-5 work groups appear to have encouraged this.1 This (...) has not been the only source of disquiet. The influence of the pharmaceutical industry on the members of the appointees to DSM diagnostic work groups, which constructed the new rubrics, has caused concern,2 as remuneration and insurance coverage in the USA depends partly on DSM diagnosis, and the pharmaceutical industry has been accused of encouraging the development of new diagnoses as a way to increase profitability.3 Societal impact has been an explicit part of the development of DSM-5, as outlined in the article in this issue.4 Reasons for decisions by DSM-5 workgroups have included enabling sufferers to receive treatment which would not be available without a DSM diagnosis , or …. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

We develop a vision of consumer responsibility in purchasing decisions in light of the Coalition of Immokalee Workers’ boycotts. These boycotts succeeded in convincing large fast food companies and national supermarket chains to pay tomato growers a penny more per pound, to improve working conditions and wages for pickers. The C.I.W. efforts to generate consumer support eschewed claims associated with rule-based obligations in favor of appeals more typically associated with virtue and caring ethics. The strategies encouraged consumers to understand the (...) plight of tomato pickers and to extend concern in an effort to improve the world. These strategies are associated more with encouragement to contribute to the social good rather than claims that in refusing to help, consumers would fail to fulfill an obligation. Insights from virtue ethics and caring ethics are offered as a model for a broader account of consumer social responsibility. (shrink)

This article illustrates the process of applied critical realist research using a case study of political decision-making in transport. Critical realism is often used to analyse socio-political cha...

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

kerekh 1. 744-745 -- kerekh 2. 746-747 -- kerekh 4. 750-751.

[1] Seder ha-ʻavodah -- [2] Moʻadim. Amarot.

This article gathers together various internet resources that are available for translator’s of Kant’s texts, including resources for digital texts of Kant’s and historically-relevant other writings, digital catalogs of published books and periodicals, online dictionaries, and digitally available 18th/19th century monolingual and bi-lingual dictionaries, encyclopedia, and Kant-specific lexicons.